#include "monitor.h"
#include "descriptor_tables.h"
#include "timer.h"
#include "paging.h"
#include "multiboot.h"
#include "fs.h"
#include "initrd.h"
#include "task.h"
#include "syscall.h"
#include "stdarg.h"
#include "string.h"
#include "x86.h"
#include "_printf.h"
#include "_krnl.h"
#include "i8259s.h"



void KeyboardIsr()
{
  int new_scan_code = inportb(0x60);
  monitor_write(new_scan_code);
  outportb(0x20, 0x20);
}
